pre {
	border: 1px dotted green;
	background-color: #EFFDF3;
	padding: 4px;
}